Optimal. Leaf size=171 \[ -\frac{315 b^3 \sqrt{a x+b \sqrt{x}}}{32 a^5}+\frac{105 b^2 \sqrt{x} \sqrt{a x+b \sqrt{x}}}{16 a^4}+\frac{315 b^4 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b \sqrt{x}}}\right )}{32 a^{11/2}}+\frac{9 x^{3/2} \sqrt{a x+b \sqrt{x}}}{2 a^2}-\frac{21 b x \sqrt{a x+b \sqrt{x}}}{4 a^3}-\frac{4 x^{5/2}}{a \sqrt{a x+b \sqrt{x}}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.146974, antiderivative size = 171, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286, Rules used = {2018, 668, 670, 640, 620, 206} \[ -\frac{315 b^3 \sqrt{a x+b \sqrt{x}}}{32 a^5}+\frac{105 b^2 \sqrt{x} \sqrt{a x+b \sqrt{x}}}{16 a^4}+\frac{315 b^4 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b \sqrt{x}}}\right )}{32 a^{11/2}}+\frac{9 x^{3/2} \sqrt{a x+b \sqrt{x}}}{2 a^2}-\frac{21 b x \sqrt{a x+b \sqrt{x}}}{4 a^3}-\frac{4 x^{5/2}}{a \sqrt{a x+b \sqrt{x}}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2018
Rule 668
Rule 670
Rule 640
Rule 620
Rule 206
Rubi steps
\begin{align*} \int \frac{x^{5/2}}{\left (b \sqrt{x}+a x\right )^{3/2}} \, dx &=2 \operatorname{Subst}\left (\int \frac{x^6}{\left (b x+a x^2\right )^{3/2}} \, dx,x,\sqrt{x}\right )\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}+\frac{18 \operatorname{Subst}\left (\int \frac{x^4}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{a}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}-\frac{(63 b) \operatorname{Subst}\left (\int \frac{x^3}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{4 a^2}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}-\frac{21 b x \sqrt{b \sqrt{x}+a x}}{4 a^3}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}+\frac{\left (105 b^2\right ) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{8 a^3}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}+\frac{105 b^2 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{16 a^4}-\frac{21 b x \sqrt{b \sqrt{x}+a x}}{4 a^3}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}-\frac{\left (315 b^3\right ) \operatorname{Subst}\left (\int \frac{x}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{32 a^4}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}-\frac{315 b^3 \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{105 b^2 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{16 a^4}-\frac{21 b x \sqrt{b \sqrt{x}+a x}}{4 a^3}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}+\frac{\left (315 b^4\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{64 a^5}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}-\frac{315 b^3 \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{105 b^2 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{16 a^4}-\frac{21 b x \sqrt{b \sqrt{x}+a x}}{4 a^3}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}+\frac{\left (315 b^4\right ) \operatorname{Subst}\left (\int \frac{1}{1-a x^2} \, dx,x,\frac{\sqrt{x}}{\sqrt{b \sqrt{x}+a x}}\right )}{32 a^5}\\ &=-\frac{4 x^{5/2}}{a \sqrt{b \sqrt{x}+a x}}-\frac{315 b^3 \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{105 b^2 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{16 a^4}-\frac{21 b x \sqrt{b \sqrt{x}+a x}}{4 a^3}+\frac{9 x^{3/2} \sqrt{b \sqrt{x}+a x}}{2 a^2}+\frac{315 b^4 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{b \sqrt{x}+a x}}\right )}{32 a^{11/2}}\\ \end{align*}
Mathematica [C] time = 0.0517102, size = 62, normalized size = 0.36 \[ \frac{4 x^3 \sqrt{\frac{a \sqrt{x}}{b}+1} \, _2F_1\left (\frac{3}{2},\frac{11}{2};\frac{13}{2};-\frac{a \sqrt{x}}{b}\right )}{11 b \sqrt{a x+b \sqrt{x}}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.009, size = 527, normalized size = 3.1 \begin{align*}{\frac{1}{64}\sqrt{b\sqrt{x}+ax} \left ( 32\,{x}^{3/2} \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{11/2}-48\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{9/2}xb+276\,\sqrt{b\sqrt{x}+ax}{a}^{9/2}{x}^{3/2}{b}^{2}-192\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{7/2}\sqrt{x}{b}^{2}+690\,\sqrt{b\sqrt{x}+ax}{a}^{7/2}x{b}^{3}-768\,{a}^{7/2}x\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{3}+384\,{a}^{3}\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ) x{b}^{4}-112\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{5/2}{b}^{3}+552\,\sqrt{b\sqrt{x}+ax}{a}^{5/2}\sqrt{x}{b}^{4}-1536\,{a}^{5/2}\sqrt{x}\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{4}+256\,{a}^{5/2} \left ( \sqrt{x} \left ( b+a\sqrt{x} \right ) \right ) ^{3/2}{b}^{3}+768\,{a}^{2}\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ) \sqrt{x}{b}^{5}-69\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) x{a}^{3}{b}^{4}+138\,\sqrt{b\sqrt{x}+ax}{a}^{3/2}{b}^{5}-768\,{a}^{3/2}\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{5}+384\,a\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ){b}^{6}-138\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) \sqrt{x}{a}^{2}{b}^{5}-69\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) a{b}^{6} \right ){a}^{-{\frac{13}{2}}}{\frac{1}{\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }}} \left ( b+a\sqrt{x} \right ) ^{-2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{\frac{5}{2}}}{{\left (a x + b \sqrt{x}\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{\frac{5}{2}}}{\left (a x + b \sqrt{x}\right )^{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]